#define MAXRULES 4500
#define MAXNODES 5000
#define RULESPACESIZE 60000
